$\forall$$M$:Dsys. $M$ $\parallel$